do a(); while (true);
